<table>
	<thead>
		<tr>
			<td><b>Case ID</b></td>
			<td><b>Execution started at</b></td>
			<td><b>Execution ended at</b></td>
			<td><b>Execution Time</b></td>
			<td><b>Still in execution?</b></td>
		</tr>
	</thead>
	<%$TIMESTAMPS.each do |key, times|%>
		<%next if key.nil?%>
		<%c = PNEngine::Case.find(key)%>
		<%times.sort!%>
		<tr>
			<td><%=key%></td>
			<td><%=times.first.strftime("%Y/%m/%d %H:%M:%S")%></td>
			<td><%=times.last.strftime("%Y/%m/%d %H:%M:%S")%></td>
			<td><%=times.last - times.first%></td>
			<td><%=c.tokens.any?{|t|t.place.arcs.any?{|a|a.from_is_place?}}%></td>
		</tr>
	<%end%>
</table>